Theorem proving in higher order logics
- Författare
- Amy Felty Elsa L. Gunter International Conference on Theorem Proving in Higher Order Logics 1997 : Murray Hill)
- (10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings Elsa L. Gunter, Amy Felty (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | viii, 337 sidor. ill. |